#include <inc/x86.h>
/**********************************************************************
 **********************************************************************/

char msg3[]={};
void
bootmain(void)
{
    /*write down your code*/

	while (1)
		/* do nothing */;
}
